<html>
<head><meta charset="utf-8"><title>meeting 2019.03.14 · t-compiler/wg-polonius · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/index.html">t-compiler/wg-polonius</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html">meeting 2019.03.14</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="160817953"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160817953" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160817953">(Mar 14 2019 at 20:13)</a>:</h4>
<p>Hello <span class="user-group-mention" data-user-group-id="1184">@WG-polonius</span> !</p>



<a name="160817955"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160817955" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160817955">(Mar 14 2019 at 20:13)</a>:</h4>
<p>Sorry i'm running late</p>



<a name="160817961"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160817961" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160817961">(Mar 14 2019 at 20:13)</a>:</h4>
<p>we had our first lang team working group session today</p>



<a name="160817964"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160817964" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160817964">(Mar 14 2019 at 20:13)</a>:</h4>
<p>and it ran over</p>



<a name="160817970"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160817970" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160817970">(Mar 14 2019 at 20:13)</a>:</h4>
<p>Are people around?</p>



<a name="160818052"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160818052" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160818052">(Mar 14 2019 at 20:14)</a>:</h4>
<p>I am! Just barely, given that my internal clock is at 07:14 in the morning and I just pulled an all-nighter</p>



<a name="160818058"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160818058" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160818058">(Mar 14 2019 at 20:14)</a>:</h4>
<p>Oh dear</p>



<a name="160818066"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160818066" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160818066">(Mar 14 2019 at 20:14)</a>:</h4>
<p>However, I am now back in Sweden</p>



<a name="160818119"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160818119" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160818119">(Mar 14 2019 at 20:15)</a>:</h4>
<p><span aria-label="tada" class="emoji emoji-1f389" role="img" title="tada">:tada:</span></p>



<a name="160818134"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160818134" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160818134">(Mar 14 2019 at 20:15)</a>:</h4>
<p>Not that I have anything against Australia</p>



<a name="160818149"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160818149" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160818149">(Mar 14 2019 at 20:15)</a>:</h4>
<p>But Sweden works better with my personal time zone ;)</p>



<a name="160818169"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160818169" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160818169">(Mar 14 2019 at 20:15)</a>:</h4>
<p>So here is our <a href="https://paper.dropbox.com/doc/Polonius-Roadmap--AZXjruBlcxXk4tkzZ33wNI6GAg-hk3a9ynduUN2gk1A0NNTF" target="_blank" title="https://paper.dropbox.com/doc/Polonius-Roadmap--AZXjruBlcxXk4tkzZ33wNI6GAg-hk3a9ynduUN2gk1A0NNTF">Roadmap Paper Document</a></p>



<a name="160818177"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160818177" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160818177">(Mar 14 2019 at 20:15)</a>:</h4>
<p>Let's quickly review where we're at</p>



<a name="160818243"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160818243" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160818243">(Mar 14 2019 at 20:16)</a>:</h4>
<p><span class="user-mention" data-user-id="204115">@Albin Stjerna</span> implemented the hybrid sketch in <a href="https://github.com/rust-lang-nursery/polonius/issues/102" target="_blank" title="https://github.com/rust-lang-nursery/polonius/issues/102">polonius#102</a></p>



<a name="160818255"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160818255" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160818255">(Mar 14 2019 at 20:16)</a>:</h4>
<p><span class="user-mention" data-user-id="116118">@Matthew Jasper</span> wrote mentoring instructions <span aria-label="tada" class="emoji emoji-1f389" role="img" title="tada">:tada:</span></p>



<a name="160818281"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160818281" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160818281">(Mar 14 2019 at 20:16)</a>:</h4>
<p>I failed to do my tasks, mostly:</p>
<ul>
<li>Review lqd’s pr  @Nicholas M </li>
<li>Prepare walkthrough of how polonius code works @Nicholas M</li>
</ul>



<a name="160818283"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160818283" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160818283">(Mar 14 2019 at 20:16)</a>:</h4>
<p>I sort of started on reviewing the PR though :)</p>



<a name="160818301"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160818301" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160818301">(Mar 14 2019 at 20:17)</a>:</h4>
<p>but I guess we should figure out <span class="user-mention" data-user-id="204115">@Albin Stjerna</span> what is a good next step, right? Do you feel like you are starting to understand how Polonius codebase is working?</p>



<a name="160818314"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160818314" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160818314">(Mar 14 2019 at 20:17)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span>  N.B the document you linked to is some sort of meetning minutes from 2019.03.14</p>



<a name="160818370"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160818370" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160818370">(Mar 14 2019 at 20:18)</a>:</h4>
<p>whoops</p>



<a name="160818379"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160818379" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160818379">(Mar 14 2019 at 20:18)</a>:</h4>
<p>fixed</p>



<a name="160818399"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160818399" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160818399">(Mar 14 2019 at 20:18)</a>:</h4>
<p>I hope</p>



<a name="160818400"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160818400" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160818400">(Mar 14 2019 at 20:18)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> I feel like I understand it better than I did before, but I haven't fully grasped what every data structure does and how it interacts with datafrog yet</p>



<a name="160818407"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160818407" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160818407">(Mar 14 2019 at 20:18)</a>:</h4>
<p>But it's a good start, I think</p>



<a name="160818411"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160818411" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160818411">(Mar 14 2019 at 20:18)</a>:</h4>
<p>So yes I was thinking about datafrog</p>



<a name="160818423"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160818423" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160818423">(Mar 14 2019 at 20:19)</a>:</h4>
<p>Hmm</p>



<a name="160818436"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160818436" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160818436">(Mar 14 2019 at 20:19)</a>:</h4>
<p>so I think one thing we could do</p>



<a name="160818443"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160818443" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160818443">(Mar 14 2019 at 20:19)</a>:</h4>
<p>is to try to do a walk-through in which we connect the <em>naive</em> rules to their <em>datafrog</em> variants</p>



<a name="160818449"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160818449" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160818449">(Mar 14 2019 at 20:19)</a>:</h4>
<p>that wouldn't really take much prep from my part and might be a nice piece of documentation to have</p>



<a name="160818454"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160818454" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160818454">(Mar 14 2019 at 20:19)</a>:</h4>
<p>That sounds like a good idea</p>



<a name="160818457"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160818457" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160818457">(Mar 14 2019 at 20:19)</a>:</h4>
<p>we could try to do that (e.g.) tomorrow</p>



<a name="160818468"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160818468" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160818468">(Mar 14 2019 at 20:19)</a>:</h4>
<p>but what is a good next <em>task</em></p>



<a name="160818535"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160818535" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160818535">(Mar 14 2019 at 20:20)</a>:</h4>
<p>I feel like we want to start trying to pivot towards deeper understanding of the rules themselves</p>



<a name="160818553"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160818553" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160818553">(Mar 14 2019 at 20:20)</a>:</h4>
<p>Yes, me too, because they are very abstract as they stand</p>



<a name="160818595"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160818595" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160818595">(Mar 14 2019 at 20:21)</a>:</h4>
<p>I think <a href="https://github.com/rust-lang-nursery/polonius/issues/102" target="_blank" title="https://github.com/rust-lang-nursery/polonius/issues/102">polonius#102</a> looks good bw</p>



<a name="160818601"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160818601" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160818601">(Mar 14 2019 at 20:21)</a>:</h4>
<p>I'm inclined to merge it</p>



<a name="160818603"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160818603" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160818603">(Mar 14 2019 at 20:21)</a>:</h4>
<p>I did skim the Static Program Analysis (Møller &amp; Schwartzbach) on the plane(s), and I felt like that gave me some additional intuitions</p>



<a name="160818606"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160818606" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160818606">(Mar 14 2019 at 20:21)</a>:</h4>
<p>One task we had talked about was to modify rustc</p>



<a name="160818609"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160818609" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160818609">(Mar 14 2019 at 20:21)</a>:</h4>
<p>Ok, so I'll drop the WIP then</p>



<a name="160818619"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160818619" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160818619">(Mar 14 2019 at 20:21)</a>:</h4>
<p>I might rename <code>my_xx</code> to just <code>xx</code></p>



<a name="160818680"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160818680" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160818680">(Mar 14 2019 at 20:22)</a>:</h4>
<p>but that's just a nit</p>



<a name="160818685"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160818685" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160818685">(Mar 14 2019 at 20:22)</a>:</h4>
<blockquote>
<p>One task we had talked about was to modify rustc</p>
</blockquote>
<p>i.e., to use this new hybrid</p>



<a name="160818692"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160818692" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160818692">(Mar 14 2019 at 20:22)</a>:</h4>
<p>but I don't really think that's going to teach you a lot</p>



<a name="160818699"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160818699" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160818699">(Mar 14 2019 at 20:22)</a>:</h4>
<p>might be a good task regardless, just to get you used to the <em>rustc</em> workflow a bit</p>



<a name="160818716"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160818716" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160818716">(Mar 14 2019 at 20:22)</a>:</h4>
<p>it seems like maybe working with <a href="https://github.com/rust-lang/polonius/pull/99" target="_blank" title="https://github.com/rust-lang/polonius/pull/99">https://github.com/rust-lang/polonius/pull/99</a> (<span class="user-mention" data-user-id="116113">@lqd</span>'s PR) is a good next step</p>



<a name="160818722"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160818722" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160818722">(Mar 14 2019 at 20:23)</a>:</h4>
<p>I had it like that in my first version, but then I noticed that another variable shadows that one, which isn't a problem but I wasn't sure what best practices looked like so I went with a unique name</p>



<a name="160818740"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160818740" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160818740">(Mar 14 2019 at 20:23)</a>:</h4>
<p>oh ok</p>



<a name="160818746"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160818746" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160818746">(Mar 14 2019 at 20:23)</a>:</h4>
<p>I should look a bit more closely :)</p>



<a name="160818750"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160818750" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160818750">(Mar 14 2019 at 20:23)</a>:</h4>
<p>hmm maybe an alternative would be</p>



<a name="160818765"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160818765" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160818765">(Mar 14 2019 at 20:23)</a>:</h4>
<p>Yes, I think so, and it might be a good way of giving me a feeling for How It All Fits Together</p>



<a name="160818769"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160818769" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160818769">(Mar 14 2019 at 20:23)</a>:</h4>
<p>The rustc integration, that is</p>



<a name="160818775"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160818775" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160818775">(Mar 14 2019 at 20:23)</a>:</h4>
<p>yeah, so let's at least do that</p>



<a name="160818856"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160818856" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160818856">(Mar 14 2019 at 20:24)</a>:</h4>
<p>But what does that mean concretely, that rustc has an option to run the hybrid analysis on the fly?</p>



<a name="160818894"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160818894" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160818894">(Mar 14 2019 at 20:25)</a>:</h4>
<p>Yes so right now</p>



<a name="160818922"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160818922" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160818922">(Mar 14 2019 at 20:25)</a>:</h4>
<p>rustc has an option to use polonius, with the <code>-Zpolonius</code> flag (<code>-Z</code> are for unstable flags)</p>



<a name="160818930"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160818930" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160818930">(Mar 14 2019 at 20:25)</a>:</h4>
<p>I don't recall which algorithm it uses by default, but I think you can use <code>POLONIUS_ALGORITHM=foo</code> to select</p>



<a name="160818938"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160818938" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160818938">(Mar 14 2019 at 20:25)</a>:</h4>
<p>but I think hybrid is the right <em>default</em> choice</p>



<a name="160819001"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160819001" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160819001">(Mar 14 2019 at 20:26)</a>:</h4>
<p>Ah, OK, so a first-first step would be for me to figure out what it's currently doing, and then modifying that</p>



<a name="160819031"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160819031" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160819031">(Mar 14 2019 at 20:27)</a>:</h4>
<p>yeo</p>



<a name="160819043"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160819043" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160819043">(Mar 14 2019 at 20:27)</a>:</h4>
<p>this should be very easy in terms of the diff</p>



<a name="160819066"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160819066" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160819066">(Mar 14 2019 at 20:27)</a>:</h4>
<p>It will also need you to upgrade the polonius version</p>



<a name="160819072"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160819072" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160819072">(Mar 14 2019 at 20:27)</a>:</h4>
<p>Is there a benchmark collection anywhere by the way? It would be interesting to see how the hybrid compares to running the full analysis for something that actually needs the full analysis</p>



<a name="160819077"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160819077" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160819077">(Mar 14 2019 at 20:27)</a>:</h4>
<p>we basically have to <a href="https://github.com/rust-lang/rust/blob/bc44841ad2a2ad5f6c5e67b9e35ed8e7e71d4dc7/src/librustc_mir/borrow_check/nll/mod.rs#L174-L176" target="_blank" title="https://github.com/rust-lang/rust/blob/bc44841ad2a2ad5f6c5e67b9e35ed8e7e71d4dc7/src/librustc_mir/borrow_check/nll/mod.rs#L174-L176">change this line</a></p>



<a name="160819081"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160819081" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160819081">(Mar 14 2019 at 20:27)</a>:</h4>
<blockquote>
<p>It will also need you to upgrade the polonius version</p>
</blockquote>
<p>ah, good point</p>



<a name="160819145"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160819145" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160819145">(Mar 14 2019 at 20:28)</a>:</h4>
<p>Ah, so it becomes "Hybrid" in stead of "DatafrogOpt"</p>



<a name="160819156"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160819156" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160819156">(Mar 14 2019 at 20:28)</a>:</h4>
<p>For the default value</p>



<a name="160819157"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160819157" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160819157">(Mar 14 2019 at 20:28)</a>:</h4>
<blockquote>
<p>Is there a benchmark collection anywhere by the way? It would be interesting to see how the hybrid compares to running the full analysis for something that actually needs the full analysis</p>
</blockquote>
<p>yes, so, we have <a href="http://perf.rust-lang.org" target="_blank" title="http://perf.rust-lang.org">perf.rust-lang.org</a>, and a little while back <span class="user-mention" data-user-id="116266">@Santiago Pastorino</span> went ahead and did some work to run polonius benchmarks, which I think we discussed <a href="#narrow/stream/186049-t-compiler.2Fwg-polonius/topic/finding.20perf.20spikes" title="#narrow/stream/186049-t-compiler.2Fwg-polonius/topic/finding.20perf.20spikes">in this Zulip topic</a></p>



<a name="160819171"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160819171" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160819171">(Mar 14 2019 at 20:28)</a>:</h4>
<p>we should probably write out that procedure more carefully</p>



<a name="160819176"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160819176" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160819176">(Mar 14 2019 at 20:28)</a>:</h4>
<p>it'd be nice to do the mesurements and confirm what we expect</p>



<a name="160819192"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160819192" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160819192">(Mar 14 2019 at 20:28)</a>:</h4>
<p>we could add that as a "work item" for the week</p>



<a name="160819222"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160819222" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160819222">(Mar 14 2019 at 20:29)</a>:</h4>
<p>Yes, I think it's a good idea to start measuring early</p>



<a name="160819231"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160819231" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160819231">(Mar 14 2019 at 20:29)</a>:</h4>
<p>"You can only make as well as you measure"</p>



<a name="160819250"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160819250" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160819250">(Mar 14 2019 at 20:29)</a>:</h4>
<p>Also, the history might be interesting in itself</p>



<a name="160819302"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160819302" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160819302">(Mar 14 2019 at 20:30)</a>:</h4>
<p>confirm</p>



<a name="160819342"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160819342" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160819342">(Mar 14 2019 at 20:30)</a>:</h4>
<p>one nice thing would be if we include in the wg-polonius directory</p>



<a name="160819356"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160819356" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160819356">(Mar 14 2019 at 20:30)</a>:</h4>
<p>a write-up of the steps to follow</p>



<a name="160819359"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160819359" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160819359">(Mar 14 2019 at 20:30)</a>:</h4>
<p>I mean this directory: <a href="https://github.com/rust-lang/compiler-team/tree/master/working-groups/polonius" target="_blank" title="https://github.com/rust-lang/compiler-team/tree/master/working-groups/polonius">https://github.com/rust-lang/compiler-team/tree/master/working-groups/polonius</a></p>



<a name="160819367"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160819367" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160819367">(Mar 14 2019 at 20:30)</a>:</h4>
<p>but it could also live on the rust-lang/polonius repo</p>



<a name="160819374"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160819374" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160819374">(Mar 14 2019 at 20:30)</a>:</h4>
<p><em>somewhere</em>\</p>



<a name="160819396"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160819396" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160819396">(Mar 14 2019 at 20:31)</a>:</h4>
<p>I'd probably put it in the compiler-team repo, and we can also record measurements in a file in there</p>



<a name="160819424"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160819424" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160819424">(Mar 14 2019 at 20:31)</a>:</h4>
<p>Ah, with results you mean?</p>



<a name="160819428"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160819428" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160819428">(Mar 14 2019 at 20:31)</a>:</h4>
<p>e.g., a little <code>measurements</code> directory</p>



<a name="160819433"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160819433" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160819433">(Mar 14 2019 at 20:31)</a>:</h4>
<p>correct</p>



<a name="160819441"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160819441" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160819441">(Mar 14 2019 at 20:31)</a>:</h4>
<p>(I'd like us to be using those directories to include "work products" from the work we're doing)</p>



<a name="160819453"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160819453" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160819453">(Mar 14 2019 at 20:31)</a>:</h4>
<p>How are the measurements currently taken?</p>



<a name="160819513"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160819513" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160819513">(Mar 14 2019 at 20:32)</a>:</h4>
<p>there is a harness, that's why I linked to the zulip topic</p>



<a name="160819520"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160819520" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160819520">(Mar 14 2019 at 20:32)</a>:</h4>
<p>I think it was explained in there what to do :)</p>



<a name="160819548"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160819548" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160819548">(Mar 14 2019 at 20:32)</a>:</h4>
<p>Ah, OK, then I can just start from there</p>



<a name="160819553"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160819553" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160819553">(Mar 14 2019 at 20:32)</a>:</h4>
<p>the topic is called <a href="#narrow/stream/186049-t-compiler.2Fwg-polonius/topic/finding.20perf.20spikes" title="#narrow/stream/186049-t-compiler.2Fwg-polonius/topic/finding.20perf.20spikes">"finding perf spikes"</a></p>



<a name="160819557"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160819557" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160819557">(Mar 14 2019 at 20:32)</a>:</h4>
<p>you could probably also ping <span class="user-mention" data-user-id="116266">@Santiago Pastorino</span> for advice</p>



<a name="160819573"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160819573" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160819573">(Mar 14 2019 at 20:32)</a>:</h4>
<p>(or the folks who were discussing in that topic)</p>



<a name="160819604"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160819604" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160819604">(Mar 14 2019 at 20:33)</a>:</h4>
<p>ok, so we have two work items, I'm not sure how much time they will take, maybe enough, but I think we should be thinking about the <em>next</em> step</p>



<a name="160819608"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160819608" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160819608">(Mar 14 2019 at 20:33)</a>:</h4>
<p>I see a few options</p>



<a name="160819623"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160819623" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160819623">(Mar 14 2019 at 20:33)</a>:</h4>
<p>agreed</p>



<a name="160819632"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160819632" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160819632">(Mar 14 2019 at 20:33)</a>:</h4>
<ul>
<li>there are ways to improve hybrid that we could talk about -- in particular, we can use the results from the location insensitive analysis to make the datafrog-opt faster</li>
</ul>



<a name="160819661"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160819661" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160819661">(Mar 14 2019 at 20:34)</a>:</h4>
<p>but I think that's not the right thing to do</p>



<a name="160819689"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160819689" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160819689">(Mar 14 2019 at 20:34)</a>:</h4>
<p>it feels a bit premature</p>



<a name="160819697"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160819697" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160819697">(Mar 14 2019 at 20:34)</a>:</h4>
<p>I think that's what we do after we have tried everything else</p>



<a name="160819705"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160819705" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160819705">(Mar 14 2019 at 20:34)</a>:</h4>
<p>and I'm not super keen to make datafrog-opt more complex than it already is until we're sure we're happy</p>



<a name="160819712"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160819712" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160819712">(Mar 14 2019 at 20:34)</a>:</h4>
<p>another option I see would be</p>



<a name="160819732"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160819732" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160819732">(Mar 14 2019 at 20:34)</a>:</h4>
<ul>
<li>moving more computation out from rustc and into polonius, <em>probably</em> liveness?</li>
</ul>



<a name="160819746"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160819746" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160819746">(Mar 14 2019 at 20:35)</a>:</h4>
<p>so, right now, the polonius gets a set of input facts generated by rustc</p>



<a name="160819774"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160819774" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160819774">(Mar 14 2019 at 20:35)</a>:</h4>
<p>ah</p>



<a name="160819775"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160819775" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160819775">(Mar 14 2019 at 20:35)</a>:</h4>
<p><a href="https://github.com/rust-lang/polonius/blob/ecafafba28e4903b9fe7a7df19b87d97541c3c62/polonius-engine/src/facts.rs#L4-L29" target="_blank" title="https://github.com/rust-lang/polonius/blob/ecafafba28e4903b9fe7a7df19b87d97541c3c62/polonius-engine/src/facts.rs#L4-L29">these ones</a></p>



<a name="160819787"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160819787" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160819787">(Mar 14 2019 at 20:35)</a>:</h4>
<p>but in some cases rustc has to do a fair amount of work to generate those facts,</p>



<a name="160819794"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160819794" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160819794">(Mar 14 2019 at 20:35)</a>:</h4>
<p>and some of this work can/should be moved into polonius</p>



<a name="160819843"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160819843" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160819843">(Mar 14 2019 at 20:36)</a>:</h4>
<p>ah, and that work might be redundant with work later done by datafrog</p>



<a name="160819849"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160819849" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160819849">(Mar 14 2019 at 20:36)</a>:</h4>
<p>of course, because it also propagates constraints</p>



<a name="160819874"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160819874" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160819874">(Mar 14 2019 at 20:36)</a>:</h4>
<p>in fact, if I have understood things correctly, it only propagates and never searches/backtracks, right?</p>



<a name="160819884"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160819884" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160819884">(Mar 14 2019 at 20:36)</a>:</h4>
<p>the goal I think would be that the set of facts is ultimately something we can read <em>fairly</em> directly from the MIR and type-check results</p>



<a name="160819894"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160819894" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160819894">(Mar 14 2019 at 20:36)</a>:</h4>
<blockquote>
<p>in fact, if I have understood things correctly, it only propagates and never searches/backtracks, right?</p>
</blockquote>
<p>right, datalog does not require backtracking to solve</p>



<a name="160819914"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160819914" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160819914">(Mar 14 2019 at 20:37)</a>:</h4>
<p>I believe the only fact that is presently computed via a very "datalog-y like analysis" is <a href="https://github.com/rust-lang/polonius/blob/ecafafba28e4903b9fe7a7df19b87d97541c3c62/polonius-engine/src/facts.rs#L24-L25" target="_blank" title="https://github.com/rust-lang/polonius/blob/ecafafba28e4903b9fe7a7df19b87d97541c3c62/polonius-engine/src/facts.rs#L24-L25">region_live_at</a></p>



<a name="160819935"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160819935" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160819935">(Mar 14 2019 at 20:37)</a>:</h4>
<p>I guess hmm a simple thing we could start with</p>



<a name="160819998"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160819998" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160819998">(Mar 14 2019 at 20:38)</a>:</h4>
<p>might be to modify rustc to generalize more basic liveness facts -- e.g., this variable is defined here, this variable is used there</p>



<a name="160820009"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160820009" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160820009">(Mar 14 2019 at 20:38)</a>:</h4>
<p>and then we could write some datafrog code to compute liveness, even if we don't use it for anything</p>



<a name="160820013"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160820013" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160820013">(Mar 14 2019 at 20:38)</a>:</h4>
<p>(Yet)</p>



<a name="160820025"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160820025" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160820025">(Mar 14 2019 at 20:38)</a>:</h4>
<p>it's a first step towards the change I'm talking about, and it would definitely mean you understand all the parts</p>



<a name="160820058"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160820058" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160820058">(Mar 14 2019 at 20:39)</a>:</h4>
<p>I think we'll need a few more bits of things after that to complete the change</p>



<a name="160820066"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160820066" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160820066">(Mar 14 2019 at 20:39)</a>:</h4>
<p>(as it happens, the Lark compiler that I mentioned already does this)</p>



<a name="160820087"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160820087" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160820087">(Mar 14 2019 at 20:39)</a>:</h4>
<p>if we did a video session tomorrow <span class="user-mention" data-user-id="204115">@Albin Stjerna</span> we could walk through what will be required</p>



<a name="160820092"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160820092" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160820092">(Mar 14 2019 at 20:39)</a>:</h4>
<p>I'll record it, post it to youtube, then you can look back over it ;)</p>



<a name="160820152"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160820152" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160820152">(Mar 14 2019 at 20:40)</a>:</h4>
<p>Always a good thing to have :)</p>



<a name="160820194"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160820194" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160820194">(Mar 14 2019 at 20:40)</a>:</h4>
<p>Ok, so would that calculation be done in Polonius and then fed back into rustc, or is it only needed for the borrowcheck?</p>



<a name="160820216"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160820216" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160820216">(Mar 14 2019 at 20:41)</a>:</h4>
<p>the latter, it is only needed for borrow check</p>



<a name="160820232"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160820232" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160820232">(Mar 14 2019 at 20:41)</a>:</h4>
<p>Hmm, would 14:00 Boston / 19:00 CET work for you?</p>



<a name="160820235"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160820235" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160820235">(Mar 14 2019 at 20:41)</a>:</h4>
<p>Ah, Ok, then I see why you would want to move it</p>



<a name="160820237"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160820237" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160820237">(Mar 14 2019 at 20:41)</a>:</h4>
<p>I could maybe do earlier instead</p>



<a name="160820259"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160820259" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160820259">(Mar 14 2019 at 20:41)</a>:</h4>
<blockquote>
<p>Ok, so would that calculation be done in Polonius and then fed back into rustc, or is it only needed for the borrowcheck?</p>
</blockquote>
<p>(actually some other parts of the compiler do similar calculations, but they do them somewhat differently)</p>



<a name="160820272"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160820272" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160820272">(Mar 14 2019 at 20:41)</a>:</h4>
<blockquote>
<p>Hmm, would 14:00 Boston / 19:00 CET work for you?</p>
</blockquote>
<p>or we could do monday</p>



<a name="160820363"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160820363" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160820363">(Mar 14 2019 at 20:42)</a>:</h4>
<p>say at 10:30 Boston / 15:30 CET or 11:00 Boston / 16:00 CET</p>



<a name="160820381"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160820381" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160820381">(Mar 14 2019 at 20:42)</a>:</h4>
<p>I'd like to do it soon, so you can get started :)</p>



<a name="160820407"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160820407" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160820407">(Mar 14 2019 at 20:43)</a>:</h4>
<p>but then maybe just starting out by trying to upgrade the version of polonius rustc uses / change that line will keep ya busy for one day ;)</p>



<a name="160820414"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160820414" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160820414">(Mar 14 2019 at 20:43)</a>:</h4>
<p>Yes, me too. I would prefer tomorrow to Monday, because I have a meeting at 15:00 CET (probably a short one)</p>



<a name="160820440"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160820440" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160820440">(Mar 14 2019 at 20:43)</a>:</h4>
<p>ok, let's do tomorrow then. Does that time work? I could .. maybe also do 11:00 / 16:00 tomorrow.</p>



<a name="160820453"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160820453" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160820453">(Mar 14 2019 at 20:43)</a>:</h4>
<p>I think it would, but it doesn't hurt to pipeline a few things</p>



<a name="160820527"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160820527" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160820527">(Mar 14 2019 at 20:44)</a>:</h4>
<p>(Also, if you're online, I might be able to do earlier, we could play it a bit by ear and I can ping you)</p>



<a name="160820561"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160820561" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160820561">(Mar 14 2019 at 20:44)</a>:</h4>
<blockquote>
<p>ok, let's do tomorrow then. Does that time work? I could .. maybe also do 11:00 / 16:00 tomorrow.</p>
</blockquote>
<p>let's do this. That leaves my afternoon more free</p>



<a name="160820565"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160820565" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160820565">(Mar 14 2019 at 20:44)</a>:</h4>
<p>12:00 Boston would be perfect for me (I get off work at the library 16:00 CET), but anything goes after that really</p>



<a name="160820583"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160820583" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160820583">(Mar 14 2019 at 20:45)</a>:</h4>
<p>Ah, ok, then never mind</p>



<a name="160820601"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160820601" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160820601">(Mar 14 2019 at 20:45)</a>:</h4>
<p>I can't do 12:00 so let's do 14:00 / 19:00</p>



<a name="160820668"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160820668" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160820668">(Mar 14 2019 at 20:46)</a>:</h4>
<p>I would probably be home around 16:20 or so though</p>



<a name="160820687"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160820687" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160820687">(Mar 14 2019 at 20:46)</a>:</h4>
<p>If that works for you</p>



<a name="160820754"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160820754" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160820754">(Mar 14 2019 at 20:47)</a>:</h4>
<p>hmm</p>



<a name="160820763"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160820763" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160820763">(Mar 14 2019 at 20:47)</a>:</h4>
<p>I'm not sure how much time we'll need</p>



<a name="160820769"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160820769" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160820769">(Mar 14 2019 at 20:47)</a>:</h4>
<p>I guess we could <em>try</em> it then, say for 30 minutes, that might suffice</p>



<a name="160820771"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160820771" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160820771">(Mar 14 2019 at 20:47)</a>:</h4>
<p>and continu later</p>



<a name="160820799"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160820799" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160820799">(Mar 14 2019 at 20:47)</a>:</h4>
<p>Yes, which could even have the advantage of giving me some time to research things for a later session if we need one</p>



<a name="160820801"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160820801" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160820801">(Mar 14 2019 at 20:47)</a>:</h4>
<p>er wait</p>



<a name="160820805"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160820805" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160820805">(Mar 14 2019 at 20:47)</a>:</h4>
<p>I was doing math wrong</p>



<a name="160820808"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160820808" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160820808">(Mar 14 2019 at 20:47)</a>:</h4>
<p>...relate</p>



<a name="160820810"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160820810" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160820810">(Mar 14 2019 at 20:48)</a>:</h4>
<p>well wait</p>



<a name="160820836"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160820836" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160820836">(Mar 14 2019 at 20:48)</a>:</h4>
<p>no I wasn't</p>



<a name="160820856"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160820856" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160820856">(Mar 14 2019 at 20:48)</a>:</h4>
<p>ok, perfect</p>



<a name="160820866"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160820866" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160820866">(Mar 14 2019 at 20:48)</a>:</h4>
<p>we'll do 11:30 / 16:30</p>



<a name="160820889"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160820889" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160820889">(Mar 14 2019 at 20:48)</a>:</h4>
<p>Great!</p>



<a name="160820897"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160820897" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160820897">(Mar 14 2019 at 20:48)</a>:</h4>
<p>ping me when you get back <span class="user-mention" data-user-id="204115">@Albin Stjerna</span> and we can start a few minutes earlier  :)</p>



<a name="160820901"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160820901" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160820901">(Mar 14 2019 at 20:48)</a>:</h4>
<p>Sure!</p>



<a name="160820909"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160820909" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160820909">(Mar 14 2019 at 20:48)</a>:</h4>
<p>ok, very good. enough for 1 day?</p>



<a name="160820916"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160820916" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160820916">(Mar 14 2019 at 20:48)</a>:</h4>
<p>Yes, definitely!</p>



<a name="160820933"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160820933" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160820933">(Mar 14 2019 at 20:49)</a>:</h4>
<p>ps <span class="user-mention" data-user-id="116118">@Matthew Jasper</span> I'm assuming you have enough to do and are mostly watching along?</p>



<a name="160820949"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160820949" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160820949">(Mar 14 2019 at 20:49)</a>:</h4>
<p>Yes, I have enough to do with normal NLL</p>



<a name="160821987"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160821987" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160821987">(Mar 14 2019 at 21:01)</a>:</h4>
<p>Ok, but I guess that's it for the meeting? I don't think I have anything else</p>



<a name="160822964"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.03.14/near/160822964" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E03.2E14.html#160822964">(Mar 14 2019 at 21:13)</a>:</h4>
<p><span class="user-mention" data-user-id="204115">@Albin Stjerna</span> oh, yes I think it is :)</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>